Using strict implication in background theories for abductive tasks

Abduction is usually defined in terms of classical logical consequence. In this paper we substitute this ’inferential parameter’ by the notion of strict implication. By doing so we hope to put more of the intended meaning of the abductive explanative relation into the background theory. By using strict rather than material implication static domain knowledge for abductive tasks can deal with some limitations of the truthfunctional nature of material implication. It can be proved that by using strict instead of material implication the same explanations can be computed according to a strict version of abduction.